Introspection and change in Carnap’s logical behaviourism
نویسندگان
چکیده
منابع مشابه
Logical Theories for Agent Introspection
Thomas Bolander: Logical Theories for Introspective Agents Artificial intelligence systems (agents) generally have models of the environments they inhabit which they use for representing facts, for reasoning about these facts and for planning actions. Much intelligent behaviour seems to involve an ability to model not only one’s external environment but also oneself and one’s own reasoning. We ...
متن کاملBelief Change with Noisy Sensing and Introspection
We model belief change due to noisy sensing, and belief introspection in the framework of the situation calculus. We give some properties of our axiomatization and show that it does not suffer from the problems with combining sensing, introspection, and plausibility update described in Shapiro et al. [2000].
متن کاملTowards Coalgebraic Behaviourism
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing behaviour by a map into a “final” coalgebra. In the first part of the paper we characterise Set-endofunctors F with the property that bisimilarity of elements of F -coalgebras coincides with having the same observable ...
متن کاملBehaviourism Is Back !
It was not long ago that behaviourism was almost a contemptuous epithet, if not a contretemps career epitaph, and few theorists wished to be mistaken for behaviourists. However, there has been a recent shift of alliances with the emergence of a new breed of researchers that openly advocate the incorporation of behaviourism into the study of consciousness. This critical essay is therefore devote...
متن کاملAspect-Based Introspection and Change Analysis for Evolving Programs
As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact of changes on software. These challenges are magnified in software systems that evolve, because the new functionality is piece-wise introduced into a live program with prior state produced by the prior component versions...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studies in History and Philosophy of Science Part A
سال: 2005
ISSN: 0039-3681
DOI: 10.1016/j.shpsa.2005.08.004